ML-TIPN: An Algorithm for Automated Acquisition of Domain Models based on Time Interval Petri Nets
نویسندگان
چکیده
Extended Petri Nets have been applied to artificial intelligence reasoning processes, in areas such as planning, uncertainty reasoning, knowledgebased intelligent systems, and qualitative simulation. Creating Petri Net domain models faces the same challenges that confront all knowledge-intensive AI performance systems: model specification, knowledge acquisition, and refinement. Thus, a fundamental question to investigate is the degree to which automation can be used. This paper formulates the learning task and presents the first machine learning method for Time Interval Petri Net (TIPN) domain models. In a preliminary evaluation within a damage control domain, the method learned a nearly perfect model of fire spread augmented with temporal and spatial data.
منابع مشابه
Machine Learning for Time Interval Petri Nets
Creating Petri Net domain models faces the same challenges that confront all knowledge-intensive AI performance systems: model specification, knowledge acquisition, and refinement. Thus, a fundamental question to investigate is the degree to which automation can be used. This paper formulates the learning task and presents the first machine learning method for Time Interval Petri Net (TIPN) dom...
متن کاملQualitative simulation of temporal concurrent processes using Time Interval Petri Nets
This paper presents a formalism called Time Interval Petri Nets (TIPNs), which are designed to support a qualitative simulation of temporal concurrent processes. One of the key features of TIPNs is a uniform use of time intervals throughout the model. This enables a natural and efficient representation of temporal uncertainty in inputs, outputs, and intermediate states of the qualitative simula...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملReal-time Decision Making For Shipboard Damage Control
This paper presents a formalism called Time Interval Petri Networks (TIPNs) and shows their efficacy for model-based envisionment of real-time concurrent interacting processes with temporal constraints. The TIPN formalism is developed by extending Petri Networks to Time Interval Petri Networks. The process of TIPN construction from a state-process domain model is described. Experimental results...
متن کاملModeling and Delay Propagation Analysis for Flight Operation Based on Time Interval Petri Net
A Time Interval Petri net (TIPN) is proposed and used to model flight operation. Based on the TIPN model, the flight delay propagation analysis algorithm is provided, which reduces the complexity of flight delay propagation analysis algorithm. Time interval constraints are attached to places and transitions in TIPN model, which could model the flight turnaround time and flight flying period. Me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Multiple-Valued Logic and Soft Computing
دوره 12 شماره
صفحات -
تاریخ انتشار 2006